61. Process algebra and probabilistic methods :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Machine theory ; Congresses ; Parallel processing (Electronic computers) ; Congresses ;
62. Process algebra and probabilistic methods
Author: / Holger Hermanns, Roberto Segala, eds
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Machine theory--Congresses,Parallel processing (Electronic computers)--Congresses
Classification :
QA
,
267
,.
P362
,
2002
63. Process algebra and probabilistic methods: performance modeling and verification: joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Parallel processing )Electronic computers(
Classification :
QA
267
.
P36
2001
64. Process algebra and probabilistic methods : performance modeling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings
Author: Luca de Alfaro, Stephen Gilmore )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Parallel processing )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
2165
65. Process algebra and probabilistic methods : performance modeling and verification : second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings
Author: Holger Hermanns, Roberto Segala, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Parallel processing )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
2399
66. Programming languages and systems :
Author: Amal Ahmed (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming, Congresses.,Programming languages (Electronic computers), Congresses.,Computer programming.,Computer science.,Computers / Programming.,Programming languages (Electronic computers)
Classification :
QA76
.
6
67. Python for probability, statistics, and machine learning /
Author: Jos�e Unpingco.,Unpingco, Jos�e,
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Python (Computer program language),Probabilities,Statistics,Machine learning.,Data processing.,Data processing.
Classification :
QA76
.
73
.
P98U4
2022
68. Secure networked inference with unreliable data sources /
Author: Aditya Vempaty, Bhavya Kailkhura, Pramod K. Varshney.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer network architectures.,Electronic data processing-- Distributed processing.,Coding theory & cryptology.,Communications engineering-- telecommunications.,Computer network architectures.,Computer security.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Electronic data processing-- Distributed processing.,Imaging systems & technology.,Maths for computer scientists.,Network hardware.
Classification :
TK5105
.
5
69. Self-Timed Control of Concurrent Processes
Author: edited by Victor I. Varshavsky.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer engineering.,Computer science.,Engineering.,Information theory.,Mathematical optimization.,Systems engineering.
70. Sparse grids and applications :
Author: Jochen Garcke, Dirk Pflüger, Clayton G. Webster, Guannan Zhang, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Numerical analysis, Congresses.,Numerical grid generation (Numerical analysis), Congresses.,Sparse matrices, Congresses.,Computer modelling & simulation.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Differential calculus & equations.,Mathematical theory of computation.,Numerical analysis.,Numerical analysis.,Numerical grid generation (Numerical analysis),Sparse matrices.
Classification :
QA188
71. Synergetic computers and cognition :
Author: Hermann Haken.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Neural networks (Computer science),Neurocomputer,Synergetik
Classification :
QA76
.
87
H476
1991
72. System and architecture :
Author: Sunil Kumar Muttoo, editor.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer architecture, Congresses.,Computer networks, Congresses.,Computer science, Congresses.,Computer security, Congresses.,Information technology, Congresses.,Computer architecture.,Computer networks.,Computer science.,Computer security.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Information technology.
Classification :
QA76
.
9
.
A73
73. The Turing omnibus :
Author: A.K. Dewdney.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computers.,Electronic data processing.,Computers.,Computers.,Electronic data processing.,Informatica.,Informatik,Informatique.,Ordinateur.,Toepassingen.
Classification :
QA76
.
D45
1989
74. The handbook of research on scalable computing technologies /
Author: [edited by] Kuan-Ching Li [and others].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational grids (Computer systems),Parallel processing (Electronic computers),System design.,Ubiquitous computing.,Computational grids (Computer systems),COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Parallel processing (Electronic computers),System design.,Ubiquitous computing.
Classification :
QA76
.
9
.
C58
H356
2010eb
75. The (new) Turing omnibus :
Author: A.K. Dewdney.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computers.,Electronic data processing.,Automates mathématiques, Théorie des.,Informatique.,Ordinateurs.,Computers.,Electronic data processing.,Processamento eletronico de dados.
Classification :
QA76
.
D448
1993
76. The singularity is near :
Author: Ray Kurzweil.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Brain-- Evolution.,Genetics.,Human evolution.,Nanotechnology.,Robotics.,Artificial Intelligence.,Biological Evolution.,Neural Networks (Computer)
Classification :
QP376
.
K85
2006
77. Theoretical computer science
Author:
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Combinatorial analysis- Data processing,، Computational complexity,، Machine theory,، Parallel processing )Electronic computers(
Classification :
QA
164
.
T45
78. Theory and Practice of Parallel Programming :
Author: edited by Takayasu Ito, Akinori Yonezawa.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer system failures.,Microprocessors.
Classification :
TK7895
.
M5
E358
1995
79. Transactions on computational collective intelligence XXIX /
Author: edited by Ngoc Thanh Nguyen, Ryszard Kowalczyk.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational intelligence.,Artificial intelligence.,Artificial intelligence.,Computational linguistics.,Computer science.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Speech & Audio Processing.,Computers-- System Administration-- Storage & Retrieval.,Information retrieval.,Natural language & machine translation.,Text processing (Computer science)
Classification :
Q342
80. concurrency theory-CONCUR 2007
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Parallel processing (Electronic computers) ; Machine theory. ;
